网络节点双机容错系统中的重构算法

提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。     

跟踪部队装备发展 加强教学能力的研究

针对部队广泛使用新装备,讨论了提高新装备教学能力和部队新装备使用能力的实践和做法．     

快速传送语法的设计与实现

国际标准化组织提出的抽象语法ASN-1和传送语法ASN-BER功能强,通用灵活,但在一般实现中存在编码效率低和开销大的缺点。本文讨论提高编码效率和速度的一般方法,以及描述快速传送语法的设计与实现技术。     

关于制订军械包装战技指标标准的探讨

本文在分析国内外包装及其标准现状的基础上,提出了军械包装战术技术指标标准的基本内容和体系构成,并对标准的建立步骤和方法提出了基本设想。     

长期储存的密封包装弹药防潮管理研究

本文从理论上详细分析了影响密封包装弹药内部湿度的可能因素,提出了密封包装弹药在长期储存过程中应该采取的防潮管理措施及对策。     

刚性密封包装密封性能的无损检测方法

本文在分析了密封包装密封性能现有检测方法的基础上,依据气体状态的基本理论,提出了对密封包装的密封性能进行无损检测的方法,从理论上、技术上进行了分析和论证,并给出了刚性密封包装密封性能无损检测的实现途径。     

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

一个空-空射击的指挥仪模型及其解算

导出了一种指挥仪式的空－空射击模型,用于计算弹丸飞行时间和瞄准角误差。文中的模型严格地区分了向量和向量的坐标表示两个不同的概念,引入了线性代数的记号和运算;不使用小角度假设;在外弹道学子模型中使用了弹丸飞行时间,而不是射程作为自变量。最后还构造了一种迭代格式,并讨论了有关的计算问题。     

时变结构多阶段任务系统的可靠度研究

大型复杂系统完成规定任务往往涉及多个阶段,并且在不同的任务阶段,系统通常由其各级子系统、单元以不同的功能组合形式构成,因而,其可靠性逻辑结构(框图)也随时间的改变而改变。当连续多阶段系统不能分阶段单独处理时,将引出所谓的时段延续相关性问题。本文重点研究了时变结构多阶段任务系统的时段延续相关性问题,对典型时变结构的可靠度进行了分析,提出了有效的解决方法并建立了相应的数学模型。研究成果已应用于某大型测控系统的可靠性分析任务中     

超临界航速船舶水压场

在浅水条件下,采用船舶水动力学理论,导出了一个包含色散效应的船舶水压场控制方程.通过求解,得到了考虑色散效应的船舶水压场计算公式,计算结果反映了实际船舶水压场的变化规律.